Formal verification tool "SPARK Pro"
Minimizing program errors with a tool suite that integrates formal verification and static verification.
"SPARK Pro" is a toolset that uses a formally verifiable subset of the Ada 2012 language, bringing mathematically-based reliability to software verification. With this product, you can formally define and automatically verify software architecture requirements. It can reduce runtime errors and guarantee properties related to a wide range of software integrity, such as the application of safety properties or security policies, and compliance with functional accuracy (conformance to formally defined specifications). [Features] - Data flow analysis - Information flow analysis - Detection of runtime exceptions - Property checking - Level-based verification *For more details, please refer to the PDF materials or feel free to contact us.
- Company：アイティアクセス 本社
- Price：Other
